IV.—BOOLE'S LOGICAL SYSTEM

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Designing a logical data model of athletes' hospital information management system based on international standards

Background and purpose: Today, hospital care, relying on the health record system, has received more attention than before. Considering the diversity of data in these systems, the design of standard conceptual and logical models by service providers will play an important role in their success. Therefore, this research was conducted with the aim of designing a logical data model of the hospital...

متن کامل

Metaphysics of Logical Realism

با اینکه اغلب به غلط تصور می­شود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن می­توان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکل­گیری­اش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...

متن کامل

Lacrimal Apparatus System in One-Humped Camel of Iran (Camelus Dromedarius): Anatomical and Radio-Logical Study

Objective- Radiological and anatomical study of the Lacrimal apparatus system in one-humped camel of Iran (Camelus Dromedarius).Design- Prospective studyAnimals- Five heads (cut above the third cervical vertebra) of adult Dromedary camels' cadavers were collected from the slaughterhouse of the Najafabad area of Isfahan Province, Iran. Procedures- The anatomy of the nasolacrimal duct of one- hum...

متن کامل

The PITA System for Logical-Probabilistic Inference

Probabilistic Inductive Logic Programming (PILP) is gaining interest due to its ability to model domains with complex and uncertain relations among entities. Since PILP systems generally must solve a large number of inference problems in order to perform learning, they rely critically on the support of efficient inference systems. PITA [7] is a system for reasoning under uncertainty on logic pr...

متن کامل

Information System Development as Mechanizable Logical Activity

Foundation of a new paradigm for information system development is proposed. The idea is to present the task of information system development as belonging to the realm of logic. At the same time the proposed approach embraces also other programming tasks, such as program speciication and veriication. We argue that applied logic provides methods, techniques and tools suitable for solving these ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mind

سال: 1876

ISSN: 0026-4423,1460-2113

DOI: 10.1093/mind/os-1.4.479